Nuprl Definition : monoid_p
13,42
postcript
pdf
compound
IsMonoid(
T
;
op
;
id
) == Assoc(
T
;
op
) & Ident(
T
;
op
;
id
)
latex
Up
groups
1
Wellformedness Lemmas
monoid
p
wf
Definitions
P
&
Q
,
Assoc(
T
;
op
)
,
Ident(
T
;
op
;
id
)
origin